Algorithmic nominal game semantics A. S. Murawski⋆ and N. Tzevelekos⋆⋆ 1 Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UK

Source URL: www.cs.ox.ac.uk

PDF Document

Source URL: lama.univ-savoie.fr

• Logic in computer science
• Game theory
• Models of computation
• Formal methods
• Denotational semantics
• Game semantics
• Semantics
• Strategy
• Equivalence of categories
• Sheaf

A game semantics for proof search: Preliminary results 1 Dale Miller and Alexis Saurin 2 ´ INRIA-Futurs and Ecole Polytechnique

Source URL: www.lix.polytechnique.fr

MFPSA System-Level Game Semantics Dan R. Ghica University of Birmingham

Source URL: www.cs.bham.ac.uk

• Applied mathematics
• Models of computation
• Algebraic geometry
• Field theory
• Valuation
• Combinatory logic
• Denotational semantics
• Theoretical computer science
• Logic in computer science
• Mathematics

1 Vol 16 Issue 2 – 3 Wanderer Beyond Game Worlds truna aka j.turner Brisbane International Game Developers

Source URL: www.leoalmanac.org

• Australian Aboriginal culture
• Australian Aboriginal mythology
• Landscape
• Indexicality
• Semantics
• Songlines
• Virtual reality
• Cultural landscape
• Possible world
• Cultural studies
• Logic
• Science

Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel

Source URL: www.cl.cam.ac.uk

• Computer science
• Applied mathematics
• Concurrency
• Denotational semantics
• Concurrent computing
• Actor model
• Game semantics
• Determinacy
• Petri net
• Theoretical computer science
• Logic in computer science
• Models of computation

1 Distributed Games and Strategies Glynn Winskel, Computer Laboratory, University of Cambridge Abstract—A summary of work on distributed games and

Source URL: www.cl.cam.ac.uk

• Applied mathematics
• Determinacy
• Minimax
• Nash equilibrium
• Normal-form game
• Strategy
• Independence
• Denotational semantics
• Nim
• Game theory
• Mathematics
• Problem solving

An Integrated Modal Approach to Rational Agents  W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract

Source URL: www.cs.uu.nl

• Artificial intelligence
• Science
• Philosophical logic
• Multi-agent systems
• Game theory
• Action theory
• Kripke semantics
• Dynamic logic
• Intelligent agent
• Logic
• Mathematical logic
• Modal logic

Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford

Source URL: www.cs.ox.ac.uk

• Mathematics
• Denotational semantics
• Lambda calculus
• Typed lambda calculus
• Game semantics
• Semantics of programming languages
• Combinatory logic
• Semantics
• Functional programming
• Theoretical computer science
• Logic in computer science
• Applied mathematics

Some Recommended Philosophy Readings for future students of Computer Science and Philosophy General Philosophy (all Philosophy students) The first year “General Philosophy” course covers topics particularly associate

Source URL: www.cs.ox.ac.uk

• Mathematical logic
• Analytic philosophers
• Theoretical computer science
• Epistemologists
• Peter Millican
• Logic
• Alan Turing
• Jack Copeland
• Game semantics
• Science
• Philosophy
• Knowledge